Independent squares edition 1 — public publication package

Scott Schubr
Existing edition: https://luminaryoddities.com/researcharchive/independent-squares-average-radius-obstructions-linear-codes/v/1
Manuscript: output/pdf/independent_squares_average_radius.pdf

The package contains the manuscript, editable source and accompanying public research materials. Public file hashes.json identifies the listed file bytes. Read the manuscript for the proofs and the reproduction instructions below for finite checks.

No new licence or public reuse permission is granted.

Compile manuscript/main.tex with its listed LaTeX packages. Use ordinary Python
3.10+ without -O or -OO: assertion-enabled exact checks are required.
Run each mathematical checker with its own absent or empty external directory:
  python -B code/independent_wedge_check.py --output-dir /absolute/new/wedge
  python -B code/independent_frs_check.py --output-dir /absolute/new/frs
  python -B code/universal_converse_check.py --output-dir /absolute/new/converse
  python -B code/unequal_group_check.py --output-dir /absolute/new/unequal
Validate the supplied explicit certificates independently:
  python -B code/validate_frs_certificate.py --certificate examples/q541_explicit_certificate.json --output-dir /absolute/new/validate541
  python -B code/validate_frs_certificate.py --certificate examples/q2161_fixed_rate_certificate.json --output-dir /absolute/new/validate2161
  python -B code/validate_unequal_certificate.py --certificate examples/unequal_group_small_code_certificate.json --output-dir /absolute/new/validateUnequal
The mathematical proof sections in proofs/ accompany the listed checkers. The direct commands above run each supplied mathematical checker with its explicit input. Finite diagnostics supplement the manuscript's stronger average-radius arguments.
